- Stufenlogik
- сущ.
1) комп. ступенчатая логика2) выч. многозначная логика
Универсальный немецко-русский словарь. Академик.ру. 2011.
Stufenlogik
Смотреть что такое "Stufenlogik" в других словарях:
Stufenlogik — Unter Logik höherer Stufe (englisch: Higher Order Logic, HOL) versteht man eine Erweiterung der Prädikatenlogik erster Stufe. Sie basiert auf dem typisierten Lambda Kalkül und geht auf Alonzo Churchs Theory of Simple Types zurück. Entwickelt um… … Deutsch Wikipedia
Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de … Deutsch Wikipedia
Gerhard Gentzen — Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Inhaltsverzeichnis … Deutsch Wikipedia
Individuen — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Unter einem Individuum (lat.: unteilbar, aber auch nicht zu… … Deutsch Wikipedia
Individuum — Ein Individuum (lateinisch individuum das Unteilbare, Einzelding) ist Ding, eine Entität oder einzelnes Seiendes, insofern er von Gegenständen klar unterschieden werden kann, d. h. insofern Identitätskriterien angegeben werden können. Der… … Deutsch Wikipedia
Logik — (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der … Deutsch Wikipedia
Geschichte der Logik — Die Geschichte der Logik behandelt die Logik als Ganzes in ihrer Entstehung und Entwicklung zur formalen Logik, wobei auch andere Entwicklungen berücksichtigt werden. Die europäisch westliche Logik hat ihren Anfang im antiken Griechenland.… … Deutsch Wikipedia
Генцен, Герхард — Герхард Генцен нем. Gerhard Karl Erich Gentzen Дата рождения: 24 ноября 1909(1909 11 24) … Википедия
Logik — Folgerichtigkeit; logische Korrektheit; Übereinstimmung; Stimmigkeit; Dialektik; Analytik; Gesetzmäßigkeit; Vernunft; Konsequenz * * * Lo|gik [ lo:gɪk], die; : 1 … Universal-Lexikon
